document.getElementById("mw-page-base").addEventListener("click",function(){disToggle("mw-panel");});;mediaWiki.loader.state({"site":"ready"});